<?php
/**
 * @file
 * Creates the deed display area DIV.
 *
 * This file is needed to:
 * 1) Separate the deed display area's behaviour from the home page.
 * 2) Create only one deed display area DIV. (If the DIV is created in
 *    'view_deed.php', an additional DIV is added after each AJAX call. If we
 *    want to prevent that within 'view_deed.php', we will need to embed a lot
 *    of extra logic. Using an extra include file is cleaner.
 *
 * Usage:
 *  - A page that wants to create the deed display area DIV should
 *    incldue/require this page (once).
 *
 * Parameter(s):
 *  - None.
 *
 * Global variable(s) set:
 *  - None.
 *
 * Global variable(s) unset:
 *  - None.
 *
 * Exception(s):
 *  - None.
 *
 * This file includes/requires:
 *  - h_deed.php
 *  - deed_view_ids_div_msg.php
 *  - div_msg.php
 */

// header file(s) ==============================================================
require_once "h_deed.php";


// implementation ==============================================================
?>
<div id="<?php echo ID_VIEW_DIV ?>">
<?php require_once "deed_view_ids_div_msg.php" ?>
<?php require "div_msg.php" ?>
</div>
